Basic Direct Proof